es{-}pplus(${\it es}$;$a$,$b$.$p$($a$;$b$);$e_{1}$;$e_{2}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}pstar{-}q(${\it es}$;$a$,$b$.$p$($a$;$b$);$a$,$b$.$p$($a$;$b$);$e_{1}$;$e_{2}$)